Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informatics, Masaryk University, Brno. In 2010, CSL and the 35th International Symposium on Mathematical Fo- dations of Computer Science (MFCS 2010)were federated and organizedin p- allel at the same place. The technical program and proceedings of MFCS 2010 andCSL2010werepreparedindependently. The federatedMFCSandCSL 2010 conference had ?ve common plenary sessions and common social events for all participants. The common plenary speakers were David Basin (Zur ¨ ich), Herbert Edelsbrunner(Klosterneuburg),ErichGrad ¨ el(Aachen),BojanMohar(Burnaby, Ljubljana), and Joseph Sifakis (Grenoble). Invited papers by David Basin and ErichGr¨ adelwereincludedintheproceedingsofCSL.Inaddition,CSL2010had ?ve invited speakers, namely, Peter O'Hearn (London), Jan Krajicek (Prague), Andrei Krokhin (Durham), Andrey Rybalchenko (Munich), and Viktor Kuncak (Lausanne).

Computer logic --- Logique informatique --- Congresses. --- Congrès --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This new volume in the Poincaré Seminar Series, describing recent developments at the interface between physics and biology, is directed towards a broad audience of physicists, biologists, and mathematicians. Both the theoretical and experimental aspects are covered, and particular care is devoted to the pedagogical nature of the presentations. The first survey article, by Jean-Francois Joanny and Jacques Prost, describes the theoretical advances made in the study of "active gels", with applications to liquid crystals and cell motility. Jasper van der Gucht and Cécile Sykes then report on recent advances made with biomimetic model systems in the understanding of cytokinesis. The next article, by Jonathon Howard, presents several molecular models for motor proteins, which are compared with experimental results for kinesin. David Lacoste and Kirone Mallick then show theoretically that similar ratchet models of motor proteins naturally satisfy a fundamental time-reversal symmetry, the Gallavotti-Cohen fluctuation relation. Jean-Francois Allemand, David Bensimon and Vincent Croquette and their coauthors describe the latest advances made in the real-time single molecule study of the enzymes involved in DNA replication. Raymond E. Goldstein addresses the problem of understanding, from a physics perspective, the driving forces behind the biological evolution of multicellularity, using Volvocine algae as model organisms. Stanislas Dehaene finally addresses the major challenge of understanding the neuronal mechanism of consciousness, and speculates on the possible theoretical explanations of MRI experiments. Picture of the Poincaré Seminar 2009 Contributing authors: Jean-François Allemand, David Bensimon, Vincent Croquette, Stanislas Dehaene, Ding Fangyuan, Raymond E. Goldstein, Jonathon Howard, Jean-François Joanny, David Lacoste, Timothée Lionnet, Kirone Mallick, Maria Manosas, Élise Praly, Jacques Prost, Cécile Sykes, Jasper van der Gucht

Physics --- General biophysics --- biofysica --- fysica --- Biophysics --- Biophysique --- Congresses --- Congrès --- EPUB-LIV-FT LIVPHYSI SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume brings together essays by leading phenomenologists and Husserl scholars in which they engage with the legacy of Edmund Husserl's philosophy. It is a broad anthology addressing many major topics in phenomenology and philosophy in general, including articles on phenomenological method; investigations in anthropology, ethics, and theology; highly specialized research into typically Husserlian topics such as perception, image consciousness, reality, and ideality; as well as investigations into the complex relation between pure phenomenology, phenomenological psychology, and cognitive science.

Theory of knowledge --- Philosophy of science --- Academic collection --- Husserl, Edmund --- Congresses --- Phenomenology --- Phénoménologie --- Congresses. --- Congrès --- Husserl, Edmund, --- EPUB-LIV-FT LIVHUMAI SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci?c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe?nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings.

Computer software --- System analysis --- Logiciels d'ordinateurs --- Analyse de systèmes --- Congresses --- Congrès --- Analyse de systèmes --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The ease of access, relative anonymity, and borderless nature of the Internet has allowed widespread computer-based crime - or cybercrime - to proliferate rapidly. Law enforcement and international security organizations, along with governments and the private sector, have only recently begun to appreciate the scope, severity and transnational nature of this problem. In recent years, organizations have begun to emerge and evolve in a progressively collaborative ecosystem of vested international bodies seeking to address these challenges in unique, innovative ways. This study attempts to address a series of questions regarding the current state of cyber security. What does the international landscape of cyber security look like today? What are these organizations actually doing? Are they succeeding? What measureable progress has been made in developing a supportive ecosystem of global cyber security? Are these organizations presenting practical, innovative, collaborative, and sustainable solutions to address these issues? Global Initiatives to Secure Cyberspace: An Emerging Landscape is designed for a professional audience composed of researchers, practitioners and the government, focusing on a secure cyberspace industry. Advanced-level students in computer science will also find this book suitable.

Image processing --- Optical data processing --- Computer graphics --- Cartography --- Traitement d'images --- Infographie --- Congresses --- Data processing --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B